prolog './g021a.ijs'
NB. B >. B ---------------------------------------------------------------

randuni''

x=: ?100$2
y=: ?100$2
(x>.y) -: (#.x,.y){0 1 1 1
(x>.y) -: (z+x)>.z+y   [ z=:{.0 4.5
(x>.y) -: (z*x)>.z*y   [ z=:{.1 4j5
(z>.y) -: (($y)$z)>.y  [ z=:?2
(x>.z) -: x>.($x)$z    [ z=:?2

(x>.y) -: (40$"0 x)>.y [ x=: ?10$2    [ y=: ?10 40$2
(x>.y) -: x>.40$"0 y   [ x=: ?10 40$2 [ y=: ?10$2

0 1 1 1 -: 0 0 1 1 >. 0 1 0 1


NB. B >. I ---------------------------------------------------------------

x=: ?100$2
y=: _1e5+?100$2e5
(x>.y) -: (z+x)>.z+y   [ z=:{.0 4.5
(x>.y) -: (z*x)>.z*y   [ z=:{.1 4j5
(z>.y) -: (($y)$z)>.y  [ z=:?2
(x>.z) -: x>.($x)$z    [ z=:_1e5+?2e5

(x>.y) -: (40$"0 x)>.y [ x=: ?10$2    [ y=: _1e5+?10 40$2e5
(x>.y) -: x>.40$"0 y   [ x=: ?10 40$2 [ y=: _1e5+?10$2e5

0 3 4 1 -: 0 0 1 1 >. _4 3 4 _3
0 1 -: 0 1 >. _2147483648
2147483647 2147483647 -: 0 1 >.  2147483647


NB. B >. D ---------------------------------------------------------------

x=: ?100$2
y=: o._1e5+?100$2e5
(x>.y) -: (z+x)>.z+y   [ z=:{.0 4.5
(x>.y) -: (z*x)>.z*y   [ z=:{.1 4j5
(z>.y) -: (($y)$z)>.y  [ z=:?2
(x>.z) -: x>.($x)$z    [ z=:o._1e5+?2e5

(x>.y) -: (40$"0 x)>.y [ x=: ?10$2    [ y=: o._1e5+?10 40$2e5
(x>.y) -: x>.40$"0 y   [ x=: ?10 40$2 [ y=: o._1e5+?10$2e5

0 1.2 1 1.2 -: 0 0 1 1 >. _2.5 1.2 _2.5 1.2
(20$0) -: z - 1>.z=:1+10^-i.20
0 _ 1 _ -: 0 0 1 1 >. __ _ __ _


NB. I >. B ---------------------------------------------------------------

x=: _1e5+?100$2e5
y=: ?100$2
(x>.y) -: (z+x)>.z+y   [ z=:{.0 4.5
(x>.y) -: (z*x)>.z*y   [ z=:{.1 4j5
(z>.y) -: (($y)$z)>.y  [ z=:_1e5+?2e5
(x>.z) -: x>.($x)$z    [ z=:?2

(x>.y) -: (40$"0 x)>.y [ x=: _1e5+?10$2e5    [ y=: ?10 40$2
(x>.y) -: x>.40$"0 y   [ x=: _1e5+?10 40$2e5 [ y=: ?10$2

0 1 4 4 -: _3 _3 4 4 >. 0 1 0 1
2147483647 2147483647 -:  2147483647 >. 0 1
0 1 -: _2147483648 >. 0 1


NB. I >. I ---------------------------------------------------------------

x=: _1e5+?100$2e5
y=: _1e5+?100$2e5
(x>.y) -: (z+x)>.z+y   [ z=:{.0 4.5
(x>.y) -: (z*x)>.z*y   [ z=:{.1 4j5
(z>.y) -: (($y)$z)>.y  [ z=:?2e6
(x>.z) -: x>.($x)$z    [ z=:_1e5+?2e5

(x>.y) -: (40$"0 x)>.y [ x=: _1e5+?10$2e5    [ y=: _1e5+?10 40$2e5
(x>.y) -: x>.40$"0 y   [ x=: _1e5+?10 40$2e5 [ y=: _1e5+?10$2e5

4 4 4 4 4 5 6 7 -: 4>.i.8
4 4 4 4 4 5 6 7 -: (i.8)>.4
z -: z=:_2147483648 >. 2 0 1e9 2e9 _2147483648 2147483647
(($z)$2147483647) -:  2147483647 >. z=:2 0 1e9 2e9 _2147483648 2147483647


NB. I >. D ---------------------------------------------------------------

x=: _1e5+?100$2e5
y=: o._1e5+?100$2e5
(x>.y) -: (z+x)>.z+y   [ z=:{.0 4.5
(x>.y) -: (z*x)>.z*y   [ z=:{.1 4j5
(z>.y) -: (($y)$z)>.y  [ z=:?2e6
(x>.z) -: x>.($x)$z    [ z=:o._1e5+?2e5

(x>.y) -: (40$"0 x)>.y [ x=: _1e5+?10$2e5    [ y=: o._1e5+?10 40$2e5
(x>.y) -: x>.40$"0 y   [ x=: _1e5+?10 40$2e5 [ y=: o._1e5+?10$2e5

4 4 4 4 4.5 5.5 6.5 7.5 -: 4>.0.5+i.8
4 4 4 4 4.5 5.5 6.5 7.5 -: (0.5+i.8)>.4
z -: _2147483648 >. z=:2.5 0 1e9 2e9 _2147483648 2147483647
(($z)$2147483647) -:  2147483647 >. z=:2.5 0 1e9 2e9 _2147483648 2147483647
(20$0) -: z - 17 >. z=:17*1+10^-i.20
4 _ _5 _ -: 4 4 _5 _5 >. __ _ __ _
_2147483648 _ 2147483647 _ -: _2147483648 _2147483648 2147483647 2147483647 >. __ _ __ _


NB. D >. B ---------------------------------------------------------------

x=: o._1e5+?100$2e5
y=: ?100$2
(x>.y) -: (z+x)>.z+y   [ z=:{.0 4.5
(x>.y) -: (z*x)>.z*y   [ z=:{.1 4j5
(z>.y) -: (($y)$z)>.y  [ z=:o._1e5+?2e5
(x>.z) -: x>.($x)$z    [ z=:?2

(x>.y) -: (40$"0 x)>.y [ x=: o._1e5+?10$2e5    [ y=: ?10 40$2
(x>.y) -: x>.40$"0 y   [ x=: o._1e5+?10 40$2e5 [ y=: ?10$2

(20$0) -: 1 - (z=:1-10^-i.20) >. 1
(20$0) -: z - (z=:  10^-i.20) >. 0
(20$0) -: 0 - (z=: -10^-i.20) >. 0


NB. D >. I ---------------------------------------------------------------

x=: o._1e5+?100$2e5
y=: _1e5+?100$2e5
(x>.y) -: (z+x)>.z+y   [ z=:{.0 4.5
(x>.y) -: (z*x)>.z*y   [ z=:{.1 4j5
(z>.y) -: (($y)$z)>.y  [ z=:o._1e5+?2e5
(x>.z) -: x>.($x)$z    [ z=:_1e5+?2e5

(x>.y) -: (40$"0 x)>.y [ x=: o._1e5+?10$2e5    [ y=: _1e5+?10 40$2e5
(x>.y) -: x>.40$"0 y   [ x=: o._1e5+?10 40$2e5 [ y=: _1e5+?10$2e5

(20$0) -: 17 - (z=:17*1-10^-i.20) >. 20$17
((2{.z),_ _) -: __ __ _ _ >. z=:_1e9+?4$2e9


NB. D >. D ---------------------------------------------------------------

x=: o._1e5+?100$2e5
y=: o._1e5+?100$2e5
(x>.y) -: (z+x)>.z+y   [ z=:{.0 4.5
(x>.y) -: (z*x)>.z*y   [ z=:{.1 4j5
(z>.y) -: (($y)$z)>.y  [ z=:o._1e5+?2e5
(x>.z) -: x>.($x)$z    [ z=:o._1e5+?2e5

(x>.y) -: (40$"0 x)>.y [ x=: o._1e5+?10$2e5    [ y=: o._1e5+?10 40$2e5
(x>.y) -: x>.40$"0 y   [ x=: o._1e5+?10 40$2e5 [ y=: o._1e5+?10$2e5

(o.1) -: (o.1) >. ^1
1p1 -: 1x1 >. 1p1

NB. SB >. SB ---------------------------------------------------------------

(s:' a b c d') -: (s:' a b c d') >. (s:' A b c D')
(s:' a ba ca d') -: (s:' a b c d') >. (s:' Aa ba ca Da')
(s:' a bb ccc dddd') -: (s:' a bb ccc dddd') >. (s:' Aa baa cacc Daddd')
(s:' a bbb cccc dddd') -: (s:' a bb ccc dddd') >. (s:' Aa bbb cccc Daddd')

(s:' a b c d') -:  (s:' A b c D') >. (s:' a b c d')
(s:' a ba ca d') -:  (s:' Aa ba ca Da') >. (s:' a b c d')
(s:' a bb ccc dddd') -:  (s:' Aa baa cacc Daddd') >. (s:' a bb ccc dddd')
(s:' a bbb cccc dddd') -:  (s:' Aa bbb cccc Daddd') >. (s:' a bb ccc dddd')

(}.sdot0) -: (}:sdot0) >. (}.sdot0)
(}.sdot0) -: (}.sdot0) >. (}:sdot0)

(((-:@#sdot0){.|.sdot0),((-@-:@#sdot0){.sdot0)) -: (|.sdot0) >. (sdot0)
(((-:@#sdot0){.|.sdot0),((-@-:@#sdot0){.sdot0)) -: (sdot0) >. (|.sdot0)

((2 4, 8%~#sdot0)$ }.sdot0) -: ((2 4, 8%~#sdot0)$ }:sdot0) >. ((2 4, 8%~#sdot0)$ }.sdot0)
((2 4, 8%~#sdot0)$ }.sdot0) -: ((2 4, 8%~#sdot0)$ }.sdot0) >. ((2 4, 8%~#sdot0)$ }:sdot0)

(({.(2 4, 8%~#sdot0)$ |.sdot0),:({:(2 4, 8%~#sdot0)$ sdot0)) -: ((2 4, 8%~#sdot0)$ |.sdot0) >. ((2 4, 8%~#sdot0)$ sdot0)
(({.(2 4, 8%~#sdot0)$ |.sdot0),:({:(2 4, 8%~#sdot0)$ sdot0)) -: ((2 4, 8%~#sdot0)$ sdot0) >. ((2 4, 8%~#sdot0)$ |.sdot0)

randfini''


epilog''

